Principal bundles as Frobenius adjunctions with application to geometric morphisms
نویسندگان
چکیده
منابع مشابه
Frobenius algebras and ambidextrous adjunctions
In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. Specifically, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2-category D into which M fully and faithfully embeds. Since a 2D topological quantum field theory is equivalent to a commu...
متن کاملFrobenius Morphisms of Noncommutative Blowups
We define the Frobenius morphism of certain class of noncommutative blowups in positive characteristic. Thanks to a nice property of the class, the defined morphism is always flat. Therefore we say that the noncommutative blowups in this class are Kunz regular. One of such blowups is the one associated to a regular Galois alteration. From de Jong’s theorem, we see that for every variety over an...
متن کاملA COVERING PROPERTY IN PRINCIPAL BUNDLES
Let $p:Xlo B$ be a locally trivial principal G-bundle and $wt{p}:wt{X}lo B$ be a locally trivial principal $wt{G}$-bundle. In this paper, by using the structure of principal bundles according to transition functions, we show that $wt{G}$ is a covering group of $G$ if and only if $wt{X}$ is a covering space of $X$. Then we conclude that a topological space $X$ with non-simply connected universal...
متن کاملQuasi-Frobenius functors with application to corings
Müller generalized in [12] the notion of a Frobenius extension to left (right) quasi-Frobenius extension and proved the endomorphism ring theorem for these extensions. Recently, Guo observed in [9] that for a ring homomorphism φ : R → S, the restriction of scalars functor has to induction functor S ⊗R − : RM → SM as right ”quasi” adjoint if and only if φ is a left quasi-Frobenius extension. In ...
متن کاملHiggs Bundles and Representation Spaces Associated to Morphisms
Let G be a connected reductive affine algebraic group defined over the complex numbers, and K ⊂ G be a maximal compact subgroup. Let X, Y be irreducible smooth complex projective varieties and f : X → Y an algebraic morphism, such that π1(Y ) is virtually nilpotent and the homomorphism f∗ : π1(X)→ π1(Y ) is surjective. Define R ( π1(X), G ) = {ρ ∈ Hom ( π1(X), G ) | A ◦ ρ factors through f∗} , ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Proceedings of the Cambridge Philosophical Society
سال: 2015
ISSN: 0305-0041,1469-8064
DOI: 10.1017/s0305004115000444